Data types - PDFSEARCH.IO - Document Search Engine

Data types
Results: 6238

#	Item
61	Type-Based Reasoning and Imprecise Errors Janis Voigtl¨ ander Technische Universit¨ at Dresden Add to Reading List Source URL: www.janis-voigtlaender.eu Language: English - Date: 2016-08-01 05:50:10 Software engineering Declarative programming Data types Computing Type theory Functional programming Object-oriented programming Polymorphism Map Ordinal number Boolean data type CurryHoward correspondence
62	Introduction to Smalltalk - Chapter 9 - Sets, bags, and dictionaries  Ivan TomekChapter 9 - Sets, bags, and dictionaries Overview This chapter presents the remaining frequently used collections - sets, bags, Add to Reading List Source URL: sdmeta.gforge.inria.fr Language: English - Date: 2014-10-09 10:38:17 Software engineering Computer programming Computing Search algorithms Object-oriented programming languages Data types Hashing Error detection and correction Hash function Hash table Smalltalk Set
63	Marine_template_sequences_V1 Add to Reading List Source URL: esurfmar.meteo.fr Language: English - Date: 2010-09-14 05:43:41 Computing Data ISO/IEC 11179 Metadata registry BUFR Data types Java class file Code Record Extensible Storage Engine
64	BHP Additional Variables Different establishment variables from the Establishment History Panel (BHP) are available for following data sets: ALWA-ADIAB - ALWA survey data linked to administrative data of the IAB ........ Add to Reading List Source URL: doku.iab.de Language: English - Date: 2016-08-16 22:40:01 Data types Software engineering Computing Type theory Variable Record C++ classes
65	Deriving Generic Functions by Example Neil Mitchell University of York, UK http://www.cs.york.ac.uk/~ndm/ Abstract. A function is said to be generic if it operates over values of Add to Reading List Source URL: community.haskell.org Language: English - Date: 2013-10-12 04:58:09 Software engineering Computer programming Declarative programming Functional programming Data types Programming language comparisons Type theory Higher-order functions Fold Generic programming Map Type class
66	Revised5 Report on the Algorithmic Language Scheme RICHARD H. ABELSON N. I. ADAMS IV D. H. BARTLEY Add to Reading List Source URL: www.math.purdue.edu Language: English - Date: 2010-01-13 17:46:38 Software engineering Computer programming Computing Functional languages Subroutines Procedural programming languages Data types Lambda calculus Scheme Lisp Anonymous function Scope
67	¨ BOCHUM RUHR-UNIVERSITAT Horst G¨ortz Institute for IT Security Technical Report TR-HGI Add to Reading List Source URL: www.ei.rub.de Language: English - Date: 2014-12-17 10:12:31 Computing Software engineering Computer architecture Method Data types X86 architecture Assembly languages Virtual method table Subroutines X86 assembly language Low-level programming language Dangling pointer
68	Handles: Behavior-Propagating First Class References For Dynamically-Typed Languages accepted to Science of Computer Programming Jean-Baptiste Arnauda , Stéphane Ducassea , Marcus Denkera , Camille Teruela a RMoD Add to Reading List Source URL: rmod.inria.fr Language: English - Date: 2015-11-03 10:16:25 Software engineering Computing Computer programming Data types Object-oriented programming Objective-C Method Handle Object-capability model Class Reference Type system
69	PLDI: U: Type Assisted Synthesis of Recursive Transformers on Algebraic Datatypes Jeevana Priya Inala MIT Advisor: Armando Solar-Lezama Add to Reading List Source URL: www.acm.org Language: English - Date: 2016-06-08 12:49:34 Software engineering Declarative programming Computer programming Functional programming Theoretical computer science Data types Type theory Computability theory Lambda calculus Recursion Algebraic data type Anonymous function
70	Presburger Formulas and Polyhedral Compilation v0.02 Sven Verdoolaege Polly Labs and KU Leuven January 15, 2016 Add to Reading List Source URL: lirias.kuleuven.be Language: English - Date: 2016-01-16 02:32:56 Software engineering Computer programming Computing Data types Compiler optimizations Cross-platform software Procedural programming languages Iterator Object Polytope model Assignment Type system